Practically-self-stabilizing virtual synchrony
نویسندگان
چکیده
منابع مشابه
Practically Stabilizing Virtual Synchrony
Virtual synchrony is an important abstraction that is proven to be extremely useful when implemented over asynchronous, typically large, message-passing distributed systems. Fault tolerant design is a key criterion for the success of such implementations. This is because large distributed systems can be highly available as long as they do not depend on the full operational status of every syste...
متن کاملSelf-stabilizing Virtual Synchrony
Virtual synchrony (VS) is an important abstraction that is proven to be extremely useful when implemented over asynchronous, typically large, message-passing distributed systems. Fault tolerant design is critical for the success of such implementations since large distributed systems can be highly available as long as they do not depend on the full operational status of every system participant...
متن کاملPractically Stabilizing Atomic Memory
A self-stabilizing simulation of a single-writer multi-reader atomic register is presented. The simulation works in asynchronous message-passing systems, and allows processes to crash, as long as at least a majority of them remain working. A key element in the simulation is a new combinatorial construction of a bounded labeling scheme that can accommodate arbitrary labels, i.e., including those...
متن کاملStabilizing synchrony by inhomogeneity
We show that for two weakly coupled identical neuronal oscillators with strictly positive phase resetting curve, isochronous synchrony can only be seen in the absence of noise and an arbitrarily weak noise can destroy entrainment and generate intermittent phase slips. Small inhomogeneity-mismatch in the intrinsic firing rate of the neurons-can stabilize the phase locking and lead to more precis...
متن کاملPartitionable Virtual Synchrony Using Extended Virtual Synchrony
View-oriented group communication systems (GCSs) are powerful tools for building distributed applications. Over the past fifteen years, group communication researchers developed a multitude of group communication semantics and implementations. Today, researchers commonly design their group communication algorithms on top of simple existing services such as a network membership service or a reli...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 2018
ISSN: 0022-0000
DOI: 10.1016/j.jcss.2018.04.003